$\vdash$  ff $\in$ $\mathbb{B}$